1![Scalable Fine-Grained Proofs for Formula Processing Haniel Barbosa1,2(B) , Jasmin Christian Blanchette3,1,4 , and Pascal Fontaine1 1 Université de Lorraine, CNRS, Inria, LORIA, Nancy, France Scalable Fine-Grained Proofs for Formula Processing Haniel Barbosa1,2(B) , Jasmin Christian Blanchette3,1,4 , and Pascal Fontaine1 1 Université de Lorraine, CNRS, Inria, LORIA, Nancy, France](https://www.pdfsearch.io/img/f4a5a2876bce470b8988dd0944856d14.jpg) | Add to Reading ListSource URL: pxtp.github.ioLanguage: English - Date: 2017-09-19 19:50:55
|
---|
2![A New Family of Pairing-Friendly Elliptic Curves Michael Scott and Aurore Guillevic MIRACL.com Université de Lorraine, CNRS, Inria, LORIA, Nancy, France WAIFI 2018, Bergen, Norway, June 14–16 A New Family of Pairing-Friendly Elliptic Curves Michael Scott and Aurore Guillevic MIRACL.com Université de Lorraine, CNRS, Inria, LORIA, Nancy, France WAIFI 2018, Bergen, Norway, June 14–16](https://www.pdfsearch.io/img/559293845ea8529b8d5e5b4cbc71f8dc.jpg) | Add to Reading ListSource URL: caramba.inria.frLanguage: English - Date: 2018-10-18 08:05:03
|
---|
3![Making Automatic Theorem Provers more Versatile Simon Cruanes University of Lorraine, CNRS, Inria, LORIA, 54000 Nancy, France Abstract We argue that automatic theorem provers should become more versatile and should be ab Making Automatic Theorem Provers more Versatile Simon Cruanes University of Lorraine, CNRS, Inria, LORIA, 54000 Nancy, France Abstract We argue that automatic theorem provers should become more versatile and should be ab](https://www.pdfsearch.io/img/40befd8ede29edcf0d7020d7e7209629.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-08-01 10:52:10
|
---|
4![Symbol spotting for technical documents : An efficient template-Matching approach Jonathan Weber and Salvatore Tabbone Universit´e de Lorraine, LORIA-UMR 7503, Vandœuvre-l`es-Nancy, F-54506, France {jonathan.weber, tab Symbol spotting for technical documents : An efficient template-Matching approach Jonathan Weber and Salvatore Tabbone Universit´e de Lorraine, LORIA-UMR 7503, Vandœuvre-l`es-Nancy, F-54506, France {jonathan.weber, tab](https://www.pdfsearch.io/img/f8cfd6af5f6324f858612562fd89a615.jpg) | Add to Reading ListSource URL: www.jonathan-weber.euLanguage: English - Date: 2016-02-29 07:42:01
|
---|
5![Genus 2 point counting over prime fields Pierrick Gaudry LORIA, CNRS / INRIA / Nancy Universit´e, Nancy, France ´ Eric Genus 2 point counting over prime fields Pierrick Gaudry LORIA, CNRS / INRIA / Nancy Universit´e, Nancy, France ´ Eric](https://www.pdfsearch.io/img/7ca1d297669765c90a081ca6fe150903.jpg) | Add to Reading ListSource URL: cs.uwaterloo.caLanguage: English - Date: 2015-10-14 23:46:35
|
---|
6![SECOND ANNOUNCEMENT and CALL FOR PAPERS 3rd ESFSS / European Symposium on Fire Safety Science http://www.esfss2018.com/ NANCY (FRANCE) 12TH-14TH SEPTEMBER, 2018 SECOND ANNOUNCEMENT and CALL FOR PAPERS 3rd ESFSS / European Symposium on Fire Safety Science http://www.esfss2018.com/ NANCY (FRANCE) 12TH-14TH SEPTEMBER, 2018](https://www.pdfsearch.io/img/0c63027adf6edc4331576dd84a1589f1.jpg) | Add to Reading ListSource URL: www.brand.lth.seLanguage: English - Date: 2018-02-12 02:58:01
|
---|
7![Game Semantics for some Non-Classical Logics Can BAS ¸ KENT INRIA, Nancy - France Game Semantics for some Non-Classical Logics Can BAS ¸ KENT INRIA, Nancy - France](https://www.pdfsearch.io/img/220be4e66daaee952ab8cf0dbee4837c.jpg) | Add to Reading ListSource URL: canbaskent.net- Date: 2014-07-12 04:11:10
|
---|
8![Public Announcements, Topology and Paraconsistency Can BAS ¸ KENT INRIA, Nancy - France Public Announcements, Topology and Paraconsistency Can BAS ¸ KENT INRIA, Nancy - France](https://www.pdfsearch.io/img/6ed6f4ab931e5ad1a1ccd31b38484f49.jpg) | Add to Reading ListSource URL: canbaskent.net- Date: 2014-07-21 07:40:21
|
---|
9![On Periodic Markov Decision Processes Bruno Scherrer INRIA, Institut Elie Cartan, Nancy, FRANCE EWRL, December 3rd, 2016 On Periodic Markov Decision Processes Bruno Scherrer INRIA, Institut Elie Cartan, Nancy, FRANCE EWRL, December 3rd, 2016](https://www.pdfsearch.io/img/b480ef25b1315660d83aee7108b9f3f7.jpg) | Add to Reading ListSource URL: ewrl.files.wordpress.com- Date: 2016-12-15 12:27:53
|
---|
10![Post-doctorants INRIA 2016 Title : Statistical Verification of Distributed Programs Within SimGrid _______________________________________ - Location: INRIA Nancy Grand Est research center --- LORIA, Nancy, France - Rese Post-doctorants INRIA 2016 Title : Statistical Verification of Distributed Programs Within SimGrid _______________________________________ - Location: INRIA Nancy Grand Est research center --- LORIA, Nancy, France - Rese](https://www.pdfsearch.io/img/99129169d7b46ae71132b3b9bfd94b98.jpg) | Add to Reading ListSource URL: veridis.loria.fr- Date: 2016-06-07 09:43:06
|
---|